Áreas Disciplinares Específicas do Departamento de Ciência de Computadores
A Ciência de Computadores constitui um domínio disciplinar autónomo, com fundamentos teóricos próprios, metodologias formais e paradigmas tecnológicos específicos. Abrange os princípios matemáticos da computação, a conceção e análise de modelos e sistemas computacionais, bem como a aplicação desses modelos a desafios científicos e societais complexos.
O Departamento estrutura a sua atividade de investigação e formação avançada no domínio da Ciência de Computadores, organizada em seis grandes áreas disciplinares:
- Teoria da Computação, Algoritmos e Linguagens de Programação
- Arquiteturas, Sistemas e Redes
- Inteligência Artificial e Ciência de Dados
- Segurança e Privacidade
- Sistemas de Informação, Interação Pessoa-Máquina e Computação Social
- Computação para as Ciências da Vida e da Saúde
Adicionalmente, o Departamento desenvolve uma área temática transversal FCUP em:
- Informação e Computação Quântica
Esta organização assegura coerência científica, foco estratégico e alinhamento com referenciais internacionais, incluindo o ACM Computing Classification System.
Segue-se uma descrição mais detalhada e contextualização de cada área disciplinar.
1. Teoria da Computação, Algoritmos e Linguagens
Esta área aborda os fundamentos matemáticos e formais da Ciência de Computadores, incluindo modelos de computação, eficiência algorítmica, paradigmas de programação e raciocínio formal sobre sistemas de software.
Tópicos: Lógica Computacional, Autómatos e Linguagens Formais, Complexidade Computacional, Teoria dos Códigos e da Informação, Teoria de Grafos, Redes Complexas, Algoritmos e Estruturas de Dados, Concorrência, Linguagens de Programação, Teoria de Tipos, Programação Funcional, Programação em Lógica, Programação por Restrições, Compiladores, Métodos Formais em Engenharia de Software, Verificação e Validação de Software, Computação Quântica.
2. Arquiteturas, Sistemas e Redes
Esta área centra-se na conceção, implementação e avaliação de infraestruturas computacionais, desde plataformas de hardware até sistemas distribuídos e em rede de grande escala.
Tópicos: Arquiteturas de Hardware, Sistemas Embutidos e de Tempo Real, Sistemas de Operação, Computação Paralela, Computação Distribuída, Computação na Cloud, Computação Edge/Fog, Computação Móvel, Middleware, Arquitetura Orientada a Serviços (SOA), Redes de Computadores, Redes Definidas por Software, Redes Móveis, Redes Sem-Fios, Internet of Things (IoT).
3. Inteligência Artificial e Ciência de Dados
Esta área dedica-se ao desenvolvimento de métodos computacionais para aprendizagem automática, extração de conhecimento, modelação de dados e sistemas inteligentes.
Tópicos: Representação do Conhecimento e Raciocínio, Inteligência Artificial, Aprendizagem Computacional (Machine Learning), Extração de Conhecimento de Dados, Processamento de Linguagem Natural, Visão Computacional, Data Streams, Deteção de Fraude, Web Semântica, Agentes Autónomos e Sistemas Multiagente, Robótica Inteligente, Visualização Analítica de Dados.
4. Segurança e Privacidade
Esta área aborda os fundamentos, métodos e tecnologias destinados a garantir a confidencialidade, integridade, disponibilidade fiabilidade e privacidade da informação e dos sistemas computacionais.
Tópicos: Criptografia, Segurança em Hardware, Segurança em Software, Segurança em Redes, Segurança em Sistemas, Quantum Key Distribution, Deteção de Intrusões e Anomalias, Cibersegurança, Privacidade de Informação, Gestão de Identidade Digital, Aspetos de Responsabilidade e Societais da Inteligência Artificial, Aspetos Humanos e Societais da Segurança.
5. Sistemas de Informação, Interação e Computação Social
Esta área centra-se na modelação, gestão, recuperação e utilização da informação em sistemas computacionais, bem como na computação centrada no utilizador e no impacto societal das tecnologias digitais.
Tópicos: Bases de Dados e Gestão de Dados, Sistemas de Informação, Recuperação de Informação, Tecnologias Web, Computação Gráfica, Visualização Interativa, Interação Pessoa-Máquina, Análise de Redes Sociais, Computação Social, Sistemas Colaborativos, Ensino de Informática
6. Computação para as Ciências da Saúde e da Vida
Esta área integra o desenvolvimento e aplicação de métodos computacionais a problemas da biologia, biomedicina e sistemas de saúde, promovendo colaboração interdisciplinar entre a Ciência de Computadores e as Ciências da Vida.
Tópicos: Bioinformática, Algoritmos e Estruturas de Dados para Bioinformática, Genómica Computacional, Análise de Dados Biomédicos, Visão Computacional para Imagem Médica, Aprendizagem Automática Aplicada à Saúde, Informática em Saúde, Sistemas de Informação para a Saúde, Sistemas de Apoio à Decisão Clínica, Telemedicina e Saúde Digital.
Informação e Computação Quântica
Área disciplinar temática FCUP
O Departamento tem ainda como objetivo estratégico desenvolver investigação na interseção entre teoria da informação quântica, algoritmos quânticos, criptografia quântica e arquiteturas de computação quântica, contribuindo para avanços fundamentais e para o desenvolvimento de tecnologias emergentes baseadas em sistemas quânticos.